Unchecked Presidential Wars

Sound reasoning about unchecked exceptions: soundness proof

In this note we formalize a multithreaded Java-like programming language with unchecked exceptions, try-catch blocks, and synchronized blocks, as well as method contracts, object invariants, block invariants, thread-local objects, and parallel execution statements. We further formalize our verification condition generation-based modular static verification approach that verifies that the progra...

Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC

We demonstrate that in the context of statically-typed purely-functional lambda calculi without recursion, unchecked exceptions (e.g., SML exceptions) can be strictly more powerful than call/cc. More precisely, we prove that a natural extension of the simply-typed lambda calculus with unchecked exceptions is strictly more powerful than all known sound extensions of Girard’s Fω (a superset of th...

Clone Wars

Code clones, the result of the ”copy&paste” programming technique, have negative impact on software quality and on the efficiency of the software maintenance process. Although copying may be the fastest way of creating a new feature, after a while it is really hard to detect and maintain the multiple instances of the same code snippets. Based on static source code analysis, clone detectors try ...

Cell wars.

Turf Wars

Turf wars in organizations commonly occur in environments where competition undermines collaboration. We develop a game theoretic model and experimental test of turf wars. The model explores how team production incentives ex post affect team formation decisions ex ante. In the game, one agent decides whether to share jurisdiction over a project with other agents. Agents with jurisdiction decide...